
#include "ComparacaoDeCartas.h"

/* Clause SEES */
#include "Bool_TYPE.h"
#include "SetsCarta.h"

/* Clause CONCRETE_CONSTANTS */
/* Basic constants */

/* Array and record constants */
/* Clause CONCRETE_VARIABLES */

/* Clause INITIALISATION */
void ComparacaoDeCartas__INITIALISATION(void)
{
    
}

/* Clause OPERATIONS */

void ComparacaoDeCartas__naipe1VenceNaipe2(SetsCarta__naipes naipe1, SetsCarta__naipes naipe2, Bool_TYPE__resposta *naipe1vence2)
{
    if(((naipe1 == SetsCarta__ouros) &&
        (naipe2 == SetsCarta__espadas)))
    {
        (*naipe1vence2) = Bool_TYPE__true;
    }
    else if(((naipe1 == SetsCarta__espadas) &&
        (naipe2 == SetsCarta__paus)))
    {
        (*naipe1vence2) = Bool_TYPE__true;
    }
    else if(((naipe1 == SetsCarta__paus) &&
        (naipe2 == SetsCarta__copas)))
    {
        (*naipe1vence2) = Bool_TYPE__true;
    }
    else if(((naipe1 == SetsCarta__copas) &&
        (naipe2 == SetsCarta__ouros)))
    {
        (*naipe1vence2) = Bool_TYPE__true;
    }
    else
    {
        (*naipe1vence2) = Bool_TYPE__false;
    }
}

void ComparacaoDeCartas__valorEmInteiro(SetsCarta__valores valorDeUmaCarta, int32_t *rr)
{
    SetsCarta__valorEmInteiroDaCarta(valorDeUmaCarta, rr);
}

